Specification-based testing of reactive software: A case study in technology transfer

Specification Based Software Product Line Testing: A case study

In this paper, we describe an approach of software product line testing which is based on formal specifications of the desired properties. In a software product line, common behaviours are maintained at subsequent levels of the product development. Commonalities among products arise from the reuse of parts of the software. It is unclear, however, in which way test cases for one product can be r...

mesuring the staff technology readiness, the case of a multi national chemical company operating in iran

چکیده ندارد.

Specification-based Testing of Reactive Software: Tools and Experiments

Specification-Based Class Testing: A Case Study

This paper contains a case study demonstrating a complete process for specification-based class testing. The process starts with an abstract specification written in ObjectZ and concludes by exercising an implementation with test cases and evaluating the results. The test cases are derived using the Test Template Framework for each individual operation. They are analysed to generate a finite st...

epistemic modality in english and persian academic writing: a cross-linguistic study of genre on the notion of transfer

چکیده حیطه ی نوشتار دانشگاهی اخیرا شاهد تغییرات عمده ای از غیرشخصی بودن (عینی بودن) به شخصی بودن بوده است. شخصی بودن متون دانشگاهی اهمیت استفاده از وجهیت معرفتی را برجسته می سازد چرا که? وجهیت معرفتی? بر اساس یکی از تعاریف ارائه شده از این مقوله? ارتباط تنگاتنگی با شخصی بودن داشته و به عنوان بیان نظر شخصی گوینده در مورد جز گزاره ای گفته در نظر گرفته میشود. بنابراین? با در نظر داشتن نقاط مشترک...